Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 221 | 221 | 171 | 723 | 0 | 286 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.77 | 3.27 | 0.00 | 1.29 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.351 | 3.992 | 40.823 | 0.000 | 0.116 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 177 | 177 | 125 | 650 | 0 | 247 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.71 | 3.67 | 0.00 | 1.40 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.303 | 6.393 | 28.485 | 0.000 | 0.112 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 161 | 161 | 124 | 404 | 0 | 208 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.77 | 2.51 | 0.00 | 1.29 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.291 | 5.834 | 23.826 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 171 | 171 | 128 | 487 | 0 | 226 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 2.85 | 0.00 | 1.32 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.308 | 6.584 | 23.635 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 213 | 213 | 161 | 548 | 0 | 254 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 2.57 | 0.00 | 1.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.347 | 6.746 | 26.110 | 0.000 | 0.115 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 254 | 254 | 189 | 610 | 0 | 282 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.74 | 2.40 | 0.00 | 1.11 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.402 | 7.593 | 29.726 | 0.000 | 0.132 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 345 | 345 | 452 | 1166 | 0 | 401 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.31 | 3.38 | 0.00 | 1.16 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.677 | 9.223 | 66.814 | 0.000 | 0.140 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 295 | 295 | 225 | 917 | 0 | 364 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 3.11 | 0.00 | 1.23 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.598 | 5.506 | 52.702 | 0.000 | 0.127 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 244 | 244 | 190 | 970 | 0 | 326 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.78 | 3.98 | 0.00 | 1.34 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.546 | 13.414 | 43.255 | 0.000 | 0.132 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 239 | 239 | 166 | 886 | 0 | 298 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.69 | 3.71 | 0.00 | 1.25 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.550 | 10.939 | 34.744 | 0.000 | 0.116 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 236 | 236 | 172 | 641 | 0 | 270 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 2.72 | 0.00 | 1.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.496 | 10.424 | 29.488 | 0.000 | 0.129 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 245 | 245 | 180 | 664 | 0 | 295 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 2.71 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.493 | 16.045 | 28.310 | 0.000 | 0.126 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 295 | 295 | 219 | 745 | 0 | 332 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.74 | 2.53 | 0.00 | 1.13 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.551 | 16.274 | 33.514 | 0.000 | 0.155 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 345 | 345 | 256 | 825 | 0 | 369 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.74 | 2.39 | 0.00 | 1.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.606 | 17.044 | 36.687 | 0.000 | 0.138 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 277 | 277 | 664 | 758 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.40 | 2.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.119 | 10.730 | 37.928 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 210 | 210 | 225 | 439 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.07 | 2.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.760 | 13.375 | 30.116 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 126 | 126 | 123 | 298 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.98 | 2.37 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.431 | 3.286 | 8.867 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 101 | 101 | 76 | 217 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 2.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.216 | 1.566 | 6.528 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 149 | 149 | 220 | 295 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.48 | 1.98 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.307 | 21.659 | 8.385 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 196 | 540 | 822 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.76 | 4.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.554 | 7.809 | 10.311 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 242 | 242 | 612 | 1074 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.53 | 4.44 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.904 | 7.872 | 9.501 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 406 | 406 | 733 | 997 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.81 | 2.46 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.317 | 7.617 | 65.819 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F(-1) | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 315 | 315 | 680 | 850 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.16 | 2.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.921 | 7.292 | 52.014 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F(-1) | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 257 | 257 | 638 | 715 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.48 | 2.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.593 | 7.141 | 14.107 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 263 | 263 | 722 | 802 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.75 | 3.05 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.587 | 7.867 | 15.371 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 283 | 283 | 652 | 843 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.30 | 2.98 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.690 | 7.400 | 18.542 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 365 | 365 | 699 | 1059 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.92 | 2.90 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.995 | 7.563 | 21.357 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 583 | 583 | 897 | 2151 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.54 | 3.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.137 | 7.907 | 226.136 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 480 | 480 | 842 | 1997 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.75 | 4.16 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.426 | 8.232 | 199.875 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 402 | 402 | 795 | 1768 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.98 | 4.40 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.089 | 7.721 | 194.191 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 402 | 402 | 882 | 1872 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.19 | 4.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.010 | 8.353 | 30.050 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 402 | 402 | 885 | 1959 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.20 | 4.87 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.923 | 8.172 | 31.607 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 427 | 427 | 818 | 2000 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.92 | 4.68 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.536 | 7.933 | 34.560 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-2) | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 521 | 521 | 863 | 2216 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.66 | 4.25 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.596 | 8.156 | 39.985 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 336 | 336 | 422 | 3322 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.26 | 9.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.276 | 6.582 | 22.379 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 253 | 253 | 377 | 1271 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.49 | 5.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.990 | 15.168 | 19.672 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 122 | 1131 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.59 | 5.44 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.844 | 30.684 | 15.633 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 201 | 201 | 165 | 2162 | 0 | 452 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.82 | 10.76 | 0.00 | 2.25 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.607 | 1.790 | 11.744 | 0.000 | 0.123 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 267 | 267 | 200 | 3581 | 0 | 519 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 13.41 | 0.00 | 1.94 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.856 | 4.243 | 15.722 | 0.000 | 0.152 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 343 | 343 | 208 | 5056 | 0 | 588 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.61 | 14.74 | 0.00 | 1.71 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.164 | 2.696 | 18.104 | 0.000 | 0.144 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 421 | 421 | 673 | 5377 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.60 | 12.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.878 | 7.718 | 26.988 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 339 | 339 | 595 | 3858 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.76 | 11.38 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.373 | 7.779 | 20.778 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 272 | 272 | 554 | 2750 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.04 | 10.11 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.024 | 8.218 | 22.253 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 276 | 276 | 437 | 2735 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.58 | 9.91 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.226 | 6.526 | 19.879 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 266 | 266 | 201 | 3856 | 0 | 520 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 14.50 | 0.00 | 1.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.052 | 3.328 | 15.415 | 0.000 | 0.134 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 342 | 342 | 255 | 5052 | 0 | 589 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 14.77 | 0.00 | 1.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.334 | 6.530 | 17.867 | 0.000 | 0.142 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 427 | 427 | 313 | 6590 | 0 | 666 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 15.43 | 0.00 | 1.56 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.767 | 4.499 | 20.790 | 0.000 | 0.157 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 513 | 513 | 768 | 7185 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.50 | 14.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.236 | 7.897 | 32.178 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 422 | 422 | 678 | 5606 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.61 | 13.28 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.031 | 8.120 | 29.303 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 359 | 359 | 628 | 4995 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.75 | 13.91 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.444 | 8.316 | 26.874 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 349 | 349 | 599 | 4639 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.72 | 13.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.475 | 8.490 | 24.322 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 342 | 342 | 616 | 4759 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.80 | 13.92 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.375 | 8.758 | 21.134 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 340 | 340 | 257 | 5335 | 0 | 589 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 15.69 | 0.00 | 1.73 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.577 | 4.028 | 17.646 | 0.000 | 0.147 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 425 | 425 | 313 | 6590 | 0 | 666 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.74 | 15.51 | 0.00 | 1.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.768 | 7.585 | 20.299 | 0.000 | 0.175 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 519 | 519 | 380 | 8175 | 0 | 753 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.73 | 15.75 | 0.00 | 1.45 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.880 | 6.027 | 23.683 | 0.000 | 0.175 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 344 | 344 | 451 | 3627 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.31 | 10.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.343 | 5.157 | 23.802 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 256 | 256 | 339 | 1507 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.32 | 5.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.850 | 15.240 | 18.391 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 91 | 251 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.66 | 1.82 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.643 | 1.322 | 17.655 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 150 | 150 | 103 | 880 | 0 | 371 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.69 | 5.87 | 0.00 | 2.47 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.524 | 5.605 | 15.826 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 212 | 212 | 161 | 2035 | 0 | 452 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 9.60 | 0.00 | 2.13 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.703 | 3.073 | 15.510 | 0.000 | 0.111 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 280 | 280 | 198 | 3585 | 0 | 520 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.71 | 12.80 | 0.00 | 1.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.902 | 2.751 | 18.673 | 0.000 | 0.132 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 371 | 371 | 518 | 3028 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.40 | 8.16 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.478 | 6.879 | 23.155 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 220 | 220 | 464 | 1362 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.11 | 6.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.718 | 5.373 | 16.627 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 215 | 215 | 161 | 933 | 0 | 606 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 4.34 | 0.00 | 2.82 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.838 | 1.357 | 14.299 | 0.000 | 0.135 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 235 | 235 | 178 | 1274 | 0 | 679 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 5.42 | 0.00 | 2.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.681 | 2.030 | 18.083 | 0.000 | 0.148 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 326 | 326 | 252 | 2604 | 0 | 792 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.77 | 7.99 | 0.00 | 2.43 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.957 | 3.035 | 18.986 | 0.000 | 0.182 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 423 | 423 | 316 | 4066 | 0 | 916 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 9.61 | 0.00 | 2.17 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.344 | 3.925 | 21.633 | 0.000 | 0.189 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | C | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 399 | 399 | 726 | 6211 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.82 | 15.57 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.787 | 7.628 | 20.887 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 329 | 329 | 217 | 4038 | 0 | 951 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.66 | 12.27 | 0.00 | 2.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.965 | 2.888 | 13.685 | 0.000 | 0.169 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 346 | 346 | 245 | 5258 | 0 | 1071 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.71 | 15.20 | 0.00 | 3.10 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.203 | 3.317 | 18.271 | 0.000 | 0.184 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 368 | 368 | 297 | 6821 | 0 | 1186 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.81 | 18.54 | 0.00 | 3.22 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.034 | 3.785 | 19.237 | 0.000 | 0.194 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 472 | 472 | 353 | 8330 | 0 | 1343 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.75 | 17.65 | 0.00 | 2.85 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.551 | 4.529 | 22.818 | 0.000 | 0.247 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 588 | 588 | 392 | 10104 | 0 | 1531 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.67 | 17.18 | 0.00 | 2.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.129 | 5.708 | 24.993 | 0.000 | 0.302 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 0 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 0.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.244 | 89.220 | 0.632 | 1.480 | 0.000 | 3.831 | 1.485 | 18.258 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 0 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 0.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.241 | 122.426 | 0.625 | 1.429 | 0.000 | 1.439 | 1.069 | 17.986 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 0 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 0.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.255 | 34.375 | 0.608 | 1.493 | 0.000 | 1.048 | 1.202 | 17.189 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 0 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 0.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.255 | 30.477 | 0.559 | 1.480 | 0.000 | 1.134 | 2.061 | 16.556 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 33 | 33 | 35 | 33 | 35 | 35 | 32 | 35 | 41 |
N.S. |
1 | 1.00 | 1.06 | 1.00 | 1.06 | 1.06 | 0.97 | 1.06 | 1.24 |
time (sec) |
N/A | 0.129 | 18.649 | 1.098 | 8.210 | 0.310 | 42.345 | 0.889 | 19.219 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 544 | 544 | 365 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.180 | 5.397 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 366 | 366 | 307 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.84 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.874 | 2.554 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 261 | 261 | 239 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.92 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.289 | 1.090 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 177 | 177 | 168 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.260 | 0.433 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 132 | 132 | 872 | 383 | 0 | 179 | 0 | 0 | 166 |
N.S. |
1 | 1.00 | 6.61 | 2.90 | 0.00 | 1.36 | 0.00 | 0.00 | 1.26 |
time (sec) |
N/A | 0.297 | 7.514 | 14.188 | 0.000 | 0.108 | 0.000 | 0.000 | 0.952 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 101 | 101 | 830 | 355 | 0 | 161 | 0 | 0 | 128 |
N.S. |
1 | 1.00 | 8.22 | 3.51 | 0.00 | 1.59 | 0.00 | 0.00 | 1.27 |
time (sec) |
N/A | 0.250 | 7.241 | 13.105 | 0.000 | 0.099 | 0.000 | 0.000 | 0.365 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 70 | 70 | 309 | 321 | 0 | 142 | 0 | 0 | 85 |
N.S. |
1 | 1.00 | 4.41 | 4.59 | 0.00 | 2.03 | 0.00 | 0.00 | 1.21 |
time (sec) |
N/A | 0.236 | 7.169 | 7.267 | 0.000 | 0.098 | 0.000 | 0.000 | 15.310 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 66 | 66 | 783 | 240 | 0 | 173 | 0 | 0 | 96 |
N.S. |
1 | 1.00 | 11.86 | 3.64 | 0.00 | 2.62 | 0.00 | 0.00 | 1.45 |
time (sec) |
N/A | 0.257 | 6.945 | 7.259 | 0.000 | 0.096 | 0.000 | 0.000 | 15.334 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 95 | 95 | 813 | 399 | 0 | 196 | 0 | 0 | 150 |
N.S. |
1 | 1.00 | 8.56 | 4.20 | 0.00 | 2.06 | 0.00 | 0.00 | 1.58 |
time (sec) |
N/A | 0.269 | 6.966 | 11.906 | 0.000 | 0.102 | 0.000 | 0.000 | 15.744 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 132 | 132 | 865 | 634 | 0 | 219 | 0 | 0 | 177 |
N.S. |
1 | 1.00 | 6.55 | 4.80 | 0.00 | 1.66 | 0.00 | 0.00 | 1.34 |
time (sec) |
N/A | 0.215 | 7.190 | 18.140 | 0.000 | 0.103 | 0.000 | 0.000 | 16.343 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 194 | 194 | 1086 | 413 | 0 | 223 | 0 | 0 | 266 |
N.S. |
1 | 1.00 | 5.60 | 2.13 | 0.00 | 1.15 | 0.00 | 0.00 | 1.37 |
time (sec) |
N/A | 0.302 | 7.673 | 22.385 | 0.000 | 0.107 | 0.000 | 0.000 | 15.464 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 161 | 161 | 1040 | 385 | 0 | 203 | 0 | 0 | 231 |
N.S. |
1 | 1.00 | 6.46 | 2.39 | 0.00 | 1.26 | 0.00 | 0.00 | 1.43 |
time (sec) |
N/A | 0.268 | 7.401 | 21.702 | 0.000 | 0.104 | 0.000 | 0.000 | 15.280 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 126 | 126 | 994 | 357 | 0 | 179 | 0 | 0 | 153 |
N.S. |
1 | 1.00 | 7.89 | 2.83 | 0.00 | 1.42 | 0.00 | 0.00 | 1.21 |
time (sec) |
N/A | 0.257 | 7.798 | 21.124 | 0.000 | 0.111 | 0.000 | 0.000 | 15.613 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 116 | 116 | 735 | 245 | 0 | 198 | 0 | 0 | 134 |
N.S. |
1 | 1.00 | 6.34 | 2.11 | 0.00 | 1.71 | 0.00 | 0.00 | 1.16 |
time (sec) |
N/A | 0.258 | 8.697 | 7.915 | 0.000 | 0.107 | 0.000 | 0.000 | 15.493 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 120 | 120 | 736 | 513 | 0 | 210 | 0 | 0 | 196 |
N.S. |
1 | 1.00 | 6.13 | 4.28 | 0.00 | 1.75 | 0.00 | 0.00 | 1.63 |
time (sec) |
N/A | 0.264 | 8.179 | 9.709 | 0.000 | 0.109 | 0.000 | 0.000 | 16.267 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 159 | 159 | 1025 | 714 | 0 | 239 | 0 | 0 | 229 |
N.S. |
1 | 1.00 | 6.45 | 4.49 | 0.00 | 1.50 | 0.00 | 0.00 | 1.44 |
time (sec) |
N/A | 0.285 | 8.407 | 18.478 | 0.000 | 0.104 | 0.000 | 0.000 | 16.864 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F | F | B |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 194 | 194 | 1067 | 824 | 0 | 263 | 0 | 0 | 235 |
N.S. |
1 | 1.00 | 5.50 | 4.25 | 0.00 | 1.36 | 0.00 | 0.00 | 1.21 |
time (sec) |
N/A | 0.288 | 8.824 | 23.113 | 0.000 | 0.113 | 0.000 | 0.000 | 16.879 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 157 | 157 | 1056 | 282 | 0 | 269 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 6.73 | 1.80 | 0.00 | 1.71 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.197 | 8.460 | 10.276 | 0.000 | 0.115 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 124 | 124 | 1003 | 262 | 0 | 250 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 8.09 | 2.11 | 0.00 | 2.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.178 | 8.002 | 8.298 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 88 | 88 | 972 | 244 | 0 | 241 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 11.05 | 2.77 | 0.00 | 2.74 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.152 | 7.581 | 8.055 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 83 | 83 | 968 | 243 | 0 | 237 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 11.66 | 2.93 | 0.00 | 2.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.149 | 7.840 | 6.293 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 113 | 113 | 1004 | 318 | 0 | 292 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 8.88 | 2.81 | 0.00 | 2.58 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.187 | 8.001 | 10.321 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |